#include <ctype.h>
#include <stdio.h>
int main(void) {
   int x,y=0;
   while (isdigit(x = getchar()))
      y = y*10 + (x - '0');

   printf("= %d\n", y);
   return 0;
}
